The Protein Kinase Resource: everything you always wanted to know about protein kinases but were afraid to ask

Everything You Always Wanted to Know about the IRI, But Were Afraid to Ask!

Étienne André Everything You Always Wanted to Know About IMITATOR (But Were Afraid to Ask)

We present here the user manual of Imitator, a tool for synthesizing constraints on timing bounds (seen as parameters) in the framework of timed automata. Unlike classical synthesis methods, the tool Imitator takes advantage of a given reference valuation of the parameters for which the system is known to behave properly. The goal of Imitator is to generate a constraint such that, under any val...

Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)

Blocked clause elimination is a powerful technique in SAT solving. In recent work, it has been shown that it is possible to decompose any propositional formula into two subsets (blocked sets) such that both can be solved by blocked clause elimination. We extend this work in several ways. First, we prove new theoretical properties of blocked sets. We then present additional and improved ways to ...

Everything You Always Wanted to Know About Structural Realism But Were Afraid to Ask

A structuralist perspective is one that sees the investigation of the structural features of a domain of interest as the primary goal of enquiry. This vision has shaped research programmes in fields as diverse as linguistics, literary criticism, aesthetics, sociology, anthropology, psychology, and various branches of philosophy. The focus of this paper is structuralism in the philosophy of scie...

Everything You Always Wanted to Know About Probability Theory, But Were Afraid to Ask

With the renewed interest in probabilistic language modeling and analysis, there is a need for an introduction to probability theory that doesn't assume a strong mathematical background, but which gives a suuciently detailed account of the subject to provide the reader a working knowledge of probabilities. This paper is an attempt to provide that introduction. More precisely, the goals of this ...